Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
731	Melbourne Institute Working Paper Series Working Paper No[removed]A Bayesian Simulation Approach to Inference on a Multi-State Latent Factor Intensity Model Chew Lian Chua, G. C. Lim and Penelope Smith Add to Reading List Source URL: melbourneinstitute.com Language: English - Date: 2010-06-15 20:51:35 Linear temporal logic Symbol Statistics Marginal likelihood Probability theory
732	Microsoft Word - AG3-FinitaryCut Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2008-11-02 06:24:07 Predicate logic Logical syntax Model theory First-order logic Linear logic Finitary Calculus of structures Modal logic Mereology Logic Mathematical logic Non-classical logic
733	Relatedness of Fuzzy Sets S. Schockaert∗, M. De Cock, C. Cornelis Dept. of Applied Mathematics and Computer Science Ghent University, Belgium Abstract Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2005-07-04 05:42:08 Mathematics T-norm Fuzzy subalgebra Theorems and definitions in linear algebra Fuzzy logic Mathematical logic Logic
734	On Lifting Integer Variables in Minimal Inequalities Amitabh Basu1,2 , Manoel Campelo3,4 , Michele Conforti5 , G´erard Cornu´ejols1,6,7 , Giacomo Zambelli5 November 18, 2009 Abstract This paper contributes to the theor Add to Reading List Source URL: integer.tepper.cmu.edu Language: English - Date: 2009-11-18 11:00:48 Quantum mechanics MAX-3SAT Mathematics Function Linear temporal logic
735	Minimal inequalities for an infinite relaxation of integer programs Amitabh Basu Carnegie Mellon University, [removed] Michele Conforti Universit`a di Padova, [removed] Add to Reading List Source URL: integer.tepper.cmu.edu Language: English - Date: 2011-12-19 13:38:50 Mathematical analysis Convex set Convex function Lattice Vector space Convex hull Linear temporal logic Algebra Mathematics Convex analysis
736	On the Facets of Mixed Integer Programs with Two Integer Variables and Two Constraints G´erard Cornu´ejols ∗ Tepper School of Business, Carnegie Mellon University, Pittsburgh, PA[removed]and LIF, Facult´e des Sciences Add to Reading List Source URL: integer.tepper.cmu.edu Language: English - Date: 2008-04-28 17:39:35 Quadrilateral Convex function Inequality Triangle Cone Linear temporal logic Spectral theory of ordinary differential equations Mathematics Mathematical analysis Geometry
737	Minimal Valid Inequalities for Integer Constraints Valentin Borozan LIF, Facult´e des Sciences de Luminy, Universit´e de Marseille, France [removed] and G´erard Cornu´ejols ∗ Add to Reading List Source URL: integer.tepper.cmu.edu Language: English - Date: 2008-12-01 16:54:09 Deduction Entailment Logical consequence Logical syntax Metalogic Convex function Cone Linear temporal logic Logic Mathematical analysis Mathematics
738	27 January 2007, ACM Transactions on Computational Logic, Vol. 8 (1:1), 2007, pp. 1–64 A System of Interaction and Structure Alessio Guglielmi University of Bath Bath BA2 7AY Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:50 Noncommutative logic Linear logic Natural deduction Substructural logic Cut-elimination theorem Sequent Curry–Howard correspondence Deep inference Admissible rule Logic Mathematical logic Proof theory
739	AG15 RED AND BLUE Alessio Guglielmi (TU Dresden and University of Bath[removed]This note needs to be read in colour to be meaningful! Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:48 Non-classical logic Logical connectives Propositional calculus Boolean algebra Linear logic Negation Sequent calculus Modal logic Deep inference Logic Mathematical logic Proof theory
740	AG11 FORMALISM A Alessio Guglielmi (TU Dresden[removed]My current view of formalisms for deep inference is that we can Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:40 Linear temporal logic Model theory M-estimators Robust statistics Entailment Logic Symbol Mathematics

UPDATE